이산 수학

오토마타, 문법 및 형식 언어